An implementation of Martin-Löf's logical framework
- Författare
- Institutionen för informationsbehandling (Göteborg) Lena Magnusson
- (Lena Magnusson., Lic.-avh. Göteborg : Chalmers tekn. högsk.)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Dept. of Computer Science, CTH | 1991 | Sverige, Göteborg | iv, 51 sidor. |